Natural deduction system
[计] 自然演绎系统
🧩 词语组成解析
natural
['nætʃrəl]
adj. 自然的;物质的;天生的;不做作的;
n. 自然的事情;（生来的）白痴;[乐]（风琴等的）白键;
natur=nature自然+al...的 →自然（界）的
deduction
[dɪ'dʌkʃən]
n. 推演，推理，演绎;（推理所得出的）结论;扣除，减除;扣除的量;
duc,duct =lead,bring,表示”引导,带来”#词根助记：de向下+duce引→向下引→推论
🗣️ 情景例句
Hello, my name is Tom with Steve Rogers.
喂，你好，我是Steve Rogers公司的汤姆。
Please slow down.
请慢一点。
If he had not broken his tooth, he would not be in hospital now.
如果他没有把牙齿弄坏，现在就不在医院了。